Weak proregularity, derived completion, adic flatness, and prisms

The Weak Completion Semantics

This is a gentle introduction to the weak completion semantics, a novel cognitive theory which has been successfully applied to a number of human reasoning tasks. In this paper we do not focus on formalities but rather on principles and examples. The reader is assumed to be familiar with classical propositional logic and the suppression task.

Derived p-adic heights

2 Derived p-adic heights 2.1 Derived heights for cyclic groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2 Comparison of pairings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.3 Compatibility of the derived heights . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.4 Derived p-adic heights . . . . . . . . . . . . . . . . . . . . . . . . . ....

Derived P - Adic

Syllogistic Reasoning under the Weak Completion Semantics

In a recent meta-analysis, Khemlani & Johnson-Laird (2012) showed that the conclusions drawn by human reasoners in psychological experiments about syllogistic reasoning are not the conclusions predicted by classical first-order logic. Moreover, current cognitive theories deviate significantly from the empirical data. In this paper we show how human syllogistic reasoning can be modelled under th...

Monadic Reasoning using Weak Completion Semantics

A recent meta-analysis carried out by Khemlani and Johnson-Laird showed that the conclusions drawn by humans in psychological experiments about syllogistic reasoning deviate from the conclusions drawn by classical logic. Moreover, none of the current cognitive theories predictions fit the empirical data. In this paper a Computational Logic analysis clarifies seven principles necessary to draw t...